منابع مشابه
Two Works on Iteration and Related Questions
I want to give a brief account of results which have been communicated to me and which have been obtained by two young geometers, Eri Jabotinsky and Michel Liintz. Mr. Liintz is unhappily in a concentration camp in France. I must add that this is one of the reasons for the fact, for which I must apologize, that I am writing this exposé only now, although I have had both works in my possession f...
متن کاملON THE LOGIC OF TLA + Stephan Merz
TLA+ is a language intended for the high-level specification of reactive, distributed, and in particular asynchronous systems. Combining the linear-time temporal logic TLA and classical set-theory, it provides an expressive specification formalism and supports assertional verification.
متن کاملQuicktree - SD Stephan
Phylogenetic methods are becoming part of the standard methodologies used in the analyses of biological sequence data, but several of the classical tools of phylogenetic inference were not designed with high throughput applications in mind. During our surveys, we haven't found software for the fast inference of neighbor joining trees from sequence alignments which could use biologically realist...
متن کاملUncertainty as knowledge Stephan Lewandowsky
This issue of Philosophical Transactions examines the relationship between scientific uncertainty about climate change and knowledge. Uncertainty is an inherent feature of the climate system. Considerable effort has therefore been devoted to understanding how to effectively respond to a changing, yet uncertain climate. Politicians and the public often appeal to uncertainty as an argument to del...
متن کاملAchim Stephan Are Animals Capable of Concepts?
Often, the behavior of animals can be better explained and predicted, it seems, if we ascribe the capacity to have beliefs, intentions, and concepts to them. Whether we really can do so, however, is a debated issue. Particularly, Donald Davidson maintains that there is no basis in fact for ascribing propositional attitudes or concepts to animals. I will consider his and rival views, such as Col...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: GDR Bulletin
سال: 1989
ISSN: 2159-5941
DOI: 10.4148/gdrb.v15i1.905